|
|
Biblioteca Central, UNS · Catálogo de libros | ||
|
|
| Alonso de Armiño, Ana Carolina. | ||||
| 1. | Composición de servicios web semánticos / Ana Carolina Alonso de Armiño. | 2010 |
R 040
B148 2010-1062a 
|
|
| Álvarez, Nicolás. | ||||
| 2. | Aleatoriedad de estado finito / Nicolás Alvarez. | 2017 |
R 040
B148 2017-1552alv
|
|
| Asteasuain, Fernando. | ||||
| 3. | Un enfoque declarativo para modelar el comportamiento en sistemas reactivos / Fernando Asteasuain. | 2013 |
R 040
B148 2013-1260a
|
|
| Braun, Germán Alejandro. | ||||
| 4. | Metodologías y herramientas visuales para ingeniería ontológica / Germán Alejandro Braun. | 2018 |
R 040
B148 2019-1667
|
|
| Buccella, Agustina. | ||||
| 5. | Integración de sistemas de información geográfica / Agustina Buccella. | 2009 |
R 040
B148 2009-942
|
|
| Estevez, Elsa. | ||||
| 6. | Uso de bisimulación para diseño basado en componentes aplicado en RAISE / Elsa Estévez. | 2003 |
R 040
B148 2003-610
|
|
| Estevez, Elsa. | ||||
| 7. | Servicios de mensajería programable para gobierno electrónico / Elsa Estevez. | 2009 |
R 040
B148 2009-961
|
|
| Fillottrani, Pablo Rubén. | ||||
| 8. | Semántica para la negación en programas lógicos extendidos / Pablo Rubén Fillottrani. | 2001 |
R 040
B148 2001-545
|
|
| 9. | Sistemas de razonamiento no monótono y su relación con la semántica de las bases de datos deductivas / Pablo Rubén Fillottrani. | 1995 |
R 040
B148 1995-292
|
|
| Flores, Andrés Pablo. | ||||
| 10. | Soporte formal para diseño basado en patrones y formalización de patrones estructurales GoF / Andrés Pablo Flores. | 2004 |
R 040
B148 2005-699
|
|
| Marcovecchio, Ignacio. | ||||
| 11. | Coordinación y liderazgo de tecnología para gobierno electrónico : un modelo para GCIO / Ignacio Marcovecchio. | 2015 |
R 040
B148 2015-1393
|
|
| 12. | Modelos de madurez para la mejora de calidad de los datos de los indicadores de desarrollo sostenible / Ignacio Marcovecchio. | 2019 |
R 040
B148 2019-1684
|
|
| Martínez Carod, Nadina Imelda. | ||||
| 13. | Ponderación de requisitos de software usando técnicas cognitivas y orientación por objetivos / Nadina Imelda Martínez Carod ; directores: Alejandra Cechich y Pablo Fillottrani. | 2011 |
R 040
B148 2011-1093
|
|
| Michalczewsky, Erika. | ||||
| 14. | Arquitecturas de software para agentes autónomos / Erika Michalczewsky. | 2001 |
R 040
B148 2001-550mi
|
|
| Pacifico, Cristian Damián. | ||||
| 15. | Reutilización de Software basado en Servicios Web / Cristian Damián Pacifico. | 2009 |
R 040
B148 2009-990p
|
|
| Páez, Francisco Ezequiel. | ||||
| 16. | Diseño y verificación de sistemas de tiempo real heterogéneos / Francisco Ezequiel Páez. | 2020 |
R 040
B148 2021-1760
|
|
| Pérez, Martín Mauricio. | ||||
| 17. | Metodologías y métricas para desarrollo de sistemas de software / Martín Mauricio Pérez. | 2007 |
R 040
B148 2008-903p
|
|
| Soto, Manuel Francisco. | ||||
| 18. | TLM para la verificación de integración en SoC / Manuel Francisco Soto. | 2015 |
R 040
B148 2015-1402
|
|
| Zárate, Marcos Daniel. | ||||
| 19. | Alineamiento e integración de información basada en ontologías para biogeografía marina y biodiversidad / Marcos Daniel Zárate. | 2019 |
R 040
B148 2019-1697z
|
|